例句與造句

1. A unification algorithm should compute for a given problem a " complete ", and " minimal " substitution set, that is, a set covering all its solutions, and containing no redundant members.
2. An anti-unification algorithm should compute for given expressions a "'complete "', and "'minimal "'generalization set, that is, a set covering all generalizations, and containing no redundant members, respectively.
3. It's difficult to find redundant member in a sentence. 用redundant member造句挺難的